Section: Dissemination

Scientific Animation

Academy Members, Professional Societies

Patrick Cousot is a member of the Academia Europaea .

Patrick Cousot is member of the IFIP working group WG 2.3 on programming methodology.

Patrick Cousot is a member of the Board of Trustees and of the Scientific Advisory Board of the IMDEA (Instituto madrileño de estudios avanzados—Research Institute in Software Development Technology), Madrid, Spain and of the Asian Association for Foundations of Software (AAFS).

Collective Responsibilities

Jérôme Feret and Xavier Rival are members of the lab council of the Laboratoire d'Informatique de l'École normale supérieure.

Jérôme Feret was a member of the comité de sélection (hiring committee) to hire an assistant professor at the Université de Lille 1.

Antoine Miné was a member of the comité de sélection (hiring committee) to hire an assistant professor at the École normale supérieure (Paris).

Editorial Boards and Program Committees

— Patrick Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and of the Journal of Computing Science and Engineering (JCSE, Kiise).

Patrick Cousot is member of the steering committees of the Static Analysis Symposium (SAS) and the Verification, Model-Checking and Abstract Interpretation (VMCAI) international conference.

— Radhia Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and the Central European Journal of Computer Science (CEJCS, Versita & Springer).

Radhia Cousot is member of the steering committees of the Static Analysis Symposium (SAS), the Workshop on Numerical and Symbolic Abstract Domains (NSAD), the Workshop on Static Analysis and Systems Biology (SASB) and the Workshop on Tools for Automatic Program AnalysiS (TAPAS).

Radhia Cousot was the program committee chair of the 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2013), Rome, Italy, January 23-25, 2013 [25] .

Radhia Cousot was member of the program committee of the 5th NASA Formal Methods Symposium (NFM 2013), May 13-16, 2013, NASA Ames Research Center, California, USA.

— Jérôme Feret is a member of the editorial board of the Frontiers in Genetics journal and the Open Journal of Modelling and Simulation

Jérôme Feret is a member of the steering committee of the Workshop on Static Analysis and Systems Biology (SASB).

Jérôme Feret was co-program committee chair of the 4th International Workshop on Static Analysis and Systems Biology (SASB 2013), Seattle, USA, June 19, 2013.

Jérôme Feret was member of the program committees of the 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2013 ERC), Rome, Italy, January 23-25, 2013; the 5th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2013), Lisbon, Portugal, March 24-29, 2013; the 4th International Workshop on Computational Models for Cell Processes (CompMod 2013), Turku, Finland, June 11, 2013; the 11th Conference on Computational Methods in Systems Biology (CMSB 2013), Klosterneuburg, Austria, September 23-25, 2013; the 2nd International Conference on Biomedical Engineering and Biotechnology (ICBEB 2013), 2013; the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), San Diego, USA, January 19-21, 2014. He is member of the program committees of the 6th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2014), Chamonix, France, April 20-24, 2014; the 10th International Workshop on Developments in Computational Models (DCM 2014), Vienna, Austria, July 13, 2014; the International Workshop on Verification of Molecular Devices and Programs (VEMDP 2014), Vienna, Austria, July 17, 2014; the 8th IFIP Theoretical Computer Science Conference (IFIP TCS 2014), Rome, Italy, September 1-3, 2014; the 5th International Workshop on Static Analysis and Systems Biology (SASB 2014), Munich, Germany, September 10, 2014; the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014), Florence, Italy, September 11-12, 2014; the 3rd International Conference on Biomedical Engineering and Biotechnology (ICBEB 2014), Beijing, China, September 19-21, 2014.

— Jonathan Hayman was a member of the program committees of the 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2013 ERC), Rome, Italy, January 23-25, 2013; the 4th International Workshop on Static Analysis and Systems Biology (SASB 2013), Seattle, USA, June 19, 2013.

— Antoine Miné is a member of the editorial boards of The Scientific World Journal in Computer Science and of the journal Conference Papers in Computer Science.

Antoine Miné was a member of the program committee of the 20th International Static Analysis Symposium (SAS 2013), Seattle, WA, USA, June 20–22, 2013, and the 3rd International Workshop on Safety and Security in Cyber-Physical Systems (SSCPS 2013), Washington, D.C, USA., June, 18–20, 2013. He is a member of the program committee of the 11th School on Modelling and Verifying Parallel Processes (MOVEP 2014), Nantes, France, July 7–11, 2014, the 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), Changsha, China, 1–3 September, 2014, the 11th International Conference on Integrated Formal Methods (iFM 2014), Bertinoro, Italy, September 9–11, 2014, and of the external review committee of the 42nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2015 ERC), Mumbai, India, January 11–18, 2015.

— Xavier Rival is member of the steering committee of the Workshop on Tools for Automatic Program AnalysiS (TAPAS).

Xavier Rival is Co-Chair of the program committee of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014, San Diego, USA, January 19-21, 2014 [26] .

Xavier Rival was member of the extended review committee of the 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2013 ERC), Rome, Italy, January 23-25, 2013; the program committee of the program committee the European Symposium On Programming (ESOP 2013), Rome, Italy, March 2013; the program committee of the 41st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2014), San Diego, USA, January 22-24, 2014;

Participation in Conferences

Luminy workshop:

Workshop on Modelisation, Optimisation, and Static Analysis (Luminy, France, January 6–10, 2013).

Jérôme Feret attended the workshop and gave a talk on model reduction of Kappa models.

VMCAI:

14th International Conference on Verification, Model Checking, and Abstract Interpretation (Roma, Italy, January 20–22, 2013).

Antoine Miné, Xavier Rival, Antoine Toubhans and Caterina Urban attended the conference. Antoine Toubhans presented an article [20] .

POPL:

40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (Roma, Italy, January 23–25, 2013).

Xavier Rival and Caterina Urban attended the conference.

Bytecode:

Eigth Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Rome, Italy, March 23, 2013).

Mehdi Bouaziz attended the workshop and gave a talk on [11] .

CC:

Twenty-second International Conference on Compiler Construction (Rome, Italy, March 21–22, 2013).

Mehdi Bouaziz attended the conference.

ESOP:

Twenty-second European Symposium on Programming (Rome, Italy, March 19–22, 2013).

Mehdi Bouaziz attended the conference.

FASE:

Sixteenth International Conference on Fundamental Approaches to Software Engineering(Rome, Italy, March 20–22, 2013).

Mehdi Bouaziz attended the conference.

POST:

Second Conference on Principles of Security and Trust (Rome, Italy, March 18–19, 2013).

Mehdi Bouaziz attended the conference.

TACAS:

Nineteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Rome, Italy, March 18–21, 2013).

Mehdi Bouaziz attended the conference.

RBMW:

Rule-Based Modelling Workshop (Paris, France, April 15–16, 2013).

Wassim Abou-jaoudé, Ferdinanda Camporesi, Jérôme Feret, and Norman Ferns attended the workshop. Jérôme Feret gave a talk on [12] . Norman Ferns gave a talk on backward bisimulation.

In'Tech:

In'Tech Seminar on Formal validation of industrial critical systems (Grenoble, France, April 18, 2013).

Jérôme Feret attended the workshop and gave a talk on the Astrée analyzer.

Dagstuhl 13162:

Wokshop on Pointer Analysis (Dagstuhl, Germany, April 14–19, 2013).

Xavier Rival attended the workshop and gave a talk on the modular construction of shape analyzers.

SASB:

Fourth International Workshop on Static Analysis and Systems Biology (Seattle, USA, June 19, 2013).

Jérôme Feret and Jonathan Hayman attended the workshop. Jérôme Feret chaired the workshop and chaired half of the sessions. Jérôme Feret gave a talk on [12] and Jonathan Hayman gave a talk on [15] .

SAS:

21th International Static Analysis Symposium (Seattle, WA, USA, June 20–22, 2013).

Jérôme Feret and Caterina Urban attended the conference, and Caterina Urban presented a paper [24] .

ForumMF:

Deuxième Forum Méthodes Formelles, Laboratoire d'Analyse et d'Architecture des Systèmes (LAAS-CNRS, Toulouse, France, June 28, 2013).

Mehdi Bouaziz attended the workshop and gave a talk on Specification and verification of programs with CodeContracts.

WST:

13th International Workshop on Termination (Bertinoro, Italy, 29–31 August, 2013).

Caterina Urban attended the workshop and presented an article [23] .

DSS2013:

Dave Schmidt Symposium (Festschrift for Dave Schmidt, Manhattan, Kansas, September 18-19, 2013).

Xavier Rival attended the symposium and presented an article [13] .

In'Tech:

In'Tech Seminar on Formal validation of industrial critical systems (Aix en Provence, France, October 1, 2013).

Jérôme Feret attended the workshop and gave a talk on the Astrée analyzer.

CMSB:

Computational Methods in Systems Biology (Klosterneuburg, Austria, September 23-25, 2013).

Ferdinanda Camporesi, Jérôme Feret, and Norman Ferns attended the conference. Jérôme Feret chaired a session and gave a talk on [12] .

RAIM:

6ème Rencontres Arithmétiques de l'Informatique Mathématique (Paris, France, 18–20 November, 2013).

Antoine Miné attended the conference and gave a talk on generic and specific abstract domains for the static analysis of programs with floating-point arithmetic.

AVDCPS:

Workshop on Analysis and Verification of Dependable Cyber Physical Software (Changsha, November 23-24, 2013).

Mehdi Bouaziz, Tie Cheng, Jérôme Feret, Xavier Rival, and Caterina Urban attended the conference. Jérôme Feret chaired a session. Mehdi Bouaziz, Tie Cheng, Jérôme Feret, Xavier Rival, and Caterina Urban gave talks.

Invitations and Participation in Seminars

— Arlen Cox gave a talk at LIAFA (Paris 7) about “QUIC Graphs: Relational Invariant Generation for Containers”.

— Jérôme Feret gave a talk at IRIT (Toulouse, France) on the 28th of May, 2013 about model reduction in Kappa. He gave a talk on the OpenKappa platform at a meeting of the ANR BIOTEMPO project on the 30th of January, 2013 and a talk on context sensitive model reduction [12] at another meeting of the ANR BIOTEMPO project in Paris on the 10th of April, 2013. He gave a talk on context sensitive model reduction [12] at ETH Zürich on the 5th of June, 2013. He gave on talk on the analysis of digital filters [55] , [56] at a meeting of the ANR VERASCO on the 16th of September, 2013.

— Norman Ferns gave two talks on the Kantorovich metric at the Computer Science Seminar of the University of Liège, Belgium, on the 5th of April 2013 and at the Technical Talk Seminar of the TU Dortmund University, Germany, on the 5th of July 2013.

— Antoine Miné gave a talk on “Constraint solving using numeric abstract domains” at the LIAFA Seminar “Vérification” (Paris, France) on April the 8th, 2013 and at the CEA LSL/LMeasi Seminar (Palaiseau, France) on June the 4th, 2013.

— Caterina Urban gave a talk on “The abstract domain of segmented ranking functions” at University of Udine (Italy) in March 2013.

— Xavier Rival gave a talk on the combination of memory abstractions at the IFIP 2.4 Working Group (Mysore, India, March 2013). He gave a talk on hierarchical shape abstract domains at IBM (Bangalore, India, March 2013). He gave a talk on the modular construction of shape analyzers at LIAFA (Université Paris 7, May 2013), at Cambridge University (Cambridge, UK, September 2013), at Seoul National University (Seoul, South Korea, October 2013), at KAIST (Daejon, South Korea, November 2013), at Hanyang University (Ansan, South Korea, November 2013), at the Institute of Software of the Chinese Accademy of Sciences (Beijing, November 2013). He gave a talk on the static analysis of safety critical embedded systems at Seoul National University (Seoul, South Korea, October 2013) and at KAIST (Daejon, South Korea, November 2013). He gave a talk on hierarchical shape abstract domains at Seoul National University (Seoul, South Korea, November 2013).